A computer algebra user interface manifesto
نویسندگان
چکیده
منابع مشابه
Computer Algebra in User Interface Design Analysis
Computer algebra systems can do impressive mathematics that can help enormously in certain areas of formal HCI. This paper shows the ability to generate formal specifications, explore and generate theorems relevant to HCI needs, and how to do this automatically and reliably from existing, straight-forwardly programmed runnable systems. Conventional iterative design can modify these implementati...
متن کاملHandwriting Interface for Computer Algebra Systems
This paper describes our experimental real time recognition system of handwritten mathematical expressions, linked to a computer algebra system Mathematica by Mathlink. This system is titled as \INFTY". The fundamental operations of INFTY are (1) input of mathematical expressions using handwriting input system, (2) editing of them by basic editing operation (cut, copy, paste and delete) and (3)...
متن کاملLighthouse: A User-Centered Web Interface to Matrix Algebra Software
We present our work in progress on the Lighthouse framework, a multifaceted web-based user interface to a taxonomy of numerical software. The taxonomy provides an organized anthology of software components and programming tools needed for the construction of highly-optimized matrix algebra software. It builds upon and improves existing collections of numerical software, adding tools for the tun...
متن کاملVisual Map Algebra: A Direct-Manipulation User Interface for GIS
Geographic Information Systems (GISs) store, analyze, and present spatial data and information about geographic space and geographic phenomena. Virtually all aspects of a GIS have inherent spatial, graphical, and visual characteristics. While the database and analytical aspects of GIS have enjoyed considerable advancement in recent areas, a user’s access to and interaction with spatial informat...
متن کاملA Manifesto for End - User Development
partial success story. Here, we argue the spread of EUD depends on a fine balance between user motivation, effective tools, and management support. We explore that balance and investigate a future approach to EUD—metadesign—that proposes a vision in which design, learning, and development become part of everyday working practice. Designing language for usercomputer communication poses a conflic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Communications in Computer Algebra
سال: 2014
ISSN: 1932-2240
DOI: 10.1145/2576802.2576827